A Formal Specification of the Horus Modeling Language Using FDMM
نویسندگان
چکیده
In this paper we show how a modeling language from the area of business process engineering can be formally specified using meta modeling concepts. This serves as a basis for the implementation on an industry-scale meta modeling platform. For this purpose we revert to the Horus modeling method and the FDMM formalism that has recently been introduced to formally describe meta models and models. Subsequently we report on the implementation of the modeling language on the ADOxx meta modeling platform and discuss the lessons learned by the application of this approach.
منابع مشابه
FDMM: A Formalism for Describing ADOxx Meta Models and Models
In the paper at hand we present the FDMM formalism that can be used to describe the core constituents of the ADOxx meta modeling approach as it is provided for the Open Models Initiative (OMI). The formalism is based on a first-order logic setting. Thereby formal descriptions of the implementation of modeling languages based on ADOxx can be realized in an intuitive and mathematically exact form...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کامل